Works by Cooley, John E. (exact spelling)

Order:
  1.  16
    Theories of types and ordered pairs.John E. Cooley - 1975 - Notre Dame Journal of Formal Logic 16 (3):418-420.